Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz

Source URL: www.cs.waikato.ac.nz

• Logic in computer science
• Non-classical logic
• Query languages
• Prolog
• Logic programming
• Denotational semantics
• Programming language
• Logic
• Modal logic
• Software engineering
• Computing
• Computer programming

A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013

Source URL: www.cs.bham.ac.uk

• Computer science
• Programming language semantics
• Models of computation
• Type theory
• Lambda calculus
• Denotational semantics
• Type system
• Evaluation strategy
• Operational semantics
• Theoretical computer science
• Applied mathematics
• Logic in computer science

BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Computer science
• Models of computation
• Applied mathematics
• Logic in computer science
• Normalisation by evaluation
• Denotational semantics
• De Bruijn index
• Symbol
• Administrative normal form
• Theoretical computer science
• Lambda calculus
• Programming language semantics

BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Applied mathematics
• Symbol
• Denotational semantics
• State transition system
• Operational semantics
• Theoretical computer science
• Models of computation
• Logic in computer science

Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”,

Source URL: www.cs.bham.ac.uk

• Models of computation
• Order theory
• Philosophical logic
• Computability theory
• Equivalence relation
• Lambda calculus
• Preorder
• Modal logic
• Denotational semantics
• Mathematics
• Logic
• Mathematical logic

Errata This document contains errata for Modern Programming Languages: A Practical Introduction, 2nd ed. by Adam Brooks Webber, published in 2011 by Franklin, Beedle & Associates, Inc. These corrections represent all err

Source URL: www.webber-labs.com

• Denotational semantics
• Applied mathematics
• Theoretical computer science
• Logic in computer science
• Models of computation

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni

Source URL: www.schemeworkshop.org

BRICS RS-08-7 O. Danvy: Denotational Semantics, Natural Semantics, and Abstract Machines for Scheme BRICS Basic Research in Computer Science

Source URL: www.brics.dk

An Abstract Domain to Infer Ordinal-Valued Ranking Functions ”to infinity. . . and beyond!” Caterina Urban and Antoine Min´ e

Source URL: www.di.ens.fr

• Mathematical logic
• Model theory
• Abstract interpretation
• Semantics
• Interpretation
• Function
• Piecewise
• Denotational semantics
• Mathematics
• Functions and mappings
• Logic

JFP 19 (6): 699–722, c Cambridge University Press 2009  699

Source URL: www.kurims.kyoto-u.ac.jp

• Logic in computer science
• Programming language semantics
• Models of computation
• Denotational semantics
• Operational semantics
• Structure
• Lambda calculus
• Theoretical computer science
• Mathematics
• Mathematical logic